﻿

# prefixing notation

English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.

### Look at other dictionaries:

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• Auxiliary fraction — In Swami Bharati Krishna Tirtha s Vedic mathematics, the auxiliary fraction method is used to convert a fraction to its equivalent decimal representation. The auxiliary fraction is not a true fraction, but is simply a mnemonic aid used in the… …   Wikipedia

• John Curwen — Reverend John Curwen (1816–1880) was an English Congregationalist minister, and founder of the Tonic sol fa system of music education. He was educated at Wymondley College and University College London. [H.C. Colles, et al. Curwen. Grove Music… …   Wikipedia

• Biblical Hebrew — Biblical Hebrew, Classical Hebrew שְֹפַת כְּנַעַן, יְהוּדִית, (לְשוֹן) עִבְרִית …   Wikipedia

• Dynamics (music) — In music, dynamics normally refers to the volume of a sound or note, but can also refer to every aspect of the execution of a given piece, either stylistic (staccato, legato etc.) or functional (velocity). The term is also applied to the written… …   Wikipedia

• Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the …   Wikipedia

• Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… …   Wikipedia

• logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

• π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) …   Wikipedia

• Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… …   Wikipedia

• Negative base — Numeral systems by culture Hindu Arabic numerals Western Arabic Eastern Arabic Indian family Tamil Burmese Khmer Lao Mongolian Thai East Asian numerals Chinese Japanese Suzhou Korean Vietnamese …   Wikipedia